Manfred Broy : rechercher sur Z-Library

Manfred Broy (auth.), Rajesh Gupta, Paul Le Guernic, Sandeep Kumar Shukla, Jean-Pierre Talpin (eds.)

Jennifer Hehn, Daniel Mendez, Walter Brenner, Manfred Broy

Année:

2022

Langue:

english

Fichier:

PDF, 6.02 MB

5.0 / 5.0

english, 2022

Formal Methods and Models for System Design: A System Level Perspective

Springer US

Année:

2004

Langue:

english

Fichier:

PDF, 23.23 MB

0 / 0

english, 2004

Requirements Engineering Artifact Quality: Definition and Control

Universitätsbibliothek der TU München

Broy, Manfred, Femmer, Henning, Glinz, Martin

Année:

2017

Langue:

english

Fichier:

PDF, 4.36 MB

0 / 0

english, 2017

Automotive Software – Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

Christian Ferdinand, Reinhold Heckmann (auth.), Manfred Broy, Ingolf H. Krüger, Michael Meisinger (eds.)

Année:

2006

Langue:

english

Fichier:

PDF, 4.65 MB

0 / 0

english, 2006

Formal Systems Specification: The RPC-Memory Specification Case Study

Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)

Année:

1996

Langue:

english

Fichier:

DJVU, 4.41 MB

5.0 / 4.0

english, 1996

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Prof. Dr. Dr. h.c. Manfred Broy (auth.), Prof. Dr. Dr. h. c. Manfred Broy (eds.)

Année:

2010

Langue:

german

Fichier:

PDF, 1.20 MB

0 / 0

german, 2010

Pioneers and Their Contributions to Software Engineering: sd&m Conference on Software Pioneers, Bonn, June 28/29, 2001, Original Historic Contributions

K. Samelson, F. L. Bauer (auth.), Manfred Broy, Ernst Denert (eds.)

Année:

2001

Langue:

english

Fichier:

PDF, 34.05 MB

0 / 0

english, 2001

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Edsger W. Dijkstra (auth.), Manfred Broy (eds.)

Année:

1985

Langue:

english

Fichier:

DJVU, 5.69 MB

0 / 0

english, 1985

Model-Based Testing of Reactive Systems: Advanced Lectures

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)

Année:

2005

Langue:

english

Fichier:

PDF, 5.87 MB

0 / 0

english, 2005

Software Quality. Increasing Value in Software and Systems Development: 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings

Manfred Broy (auth.), Dietmar Winkler, Stefan Biffl, Johannes Bergsmann (eds.)

Année:

2013

Langue:

english

Fichier:

PDF, 5.15 MB

0 / 0

english, 2013

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry)

Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare

Année:

2005

Langue:

english

Fichier:

PDF, 6.45 MB

0 / 0

english, 2005

Formal Systems Specification: The RPC-Memory Specification Case Study

Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)

Année:

1996

Langue:

english

Fichier:

PDF, 8.22 MB

0 / 0

english, 1996

Large-Scale Complex IT Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers

Manfred Broy, María Victoria Cengarle, Eva Geisberger (auth.), Radu Calinescu, David Garlan (eds.)

Année:

2012

Langue:

english

Fichier:

PDF, 8.59 MB

0 / 0

english, 2012

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Prof. Dr. Dr. h.c. Manfred Broy (auth.), Prof. Dr. Dr. h. c. Manfred Broy (eds.)

Année:

2010

Langue:

german

Fichier:

PDF, 1.36 MB

0 / 0

german, 2010

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings

Manfred Broy (auth.), Karin Breitman, Ana Cavalcanti (eds.)

Année:

2009

Langue:

english

Fichier:

PDF, 13.88 MB

0 / 0

english, 2009

Program Design Calculi

Carroll Morgan (auth.), Manfred Broy (eds.)

Année:

1993

Langue:

english

Fichier:

PDF, 13.42 MB

0 / 0

english, 1993

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Springer Netherlands

Ralph-Johan Back (auth.), Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare (eds.)

Année:

2005

Langue:

english

Fichier:

PDF, 6.11 MB

0 / 0

english, 2005

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

Année:

1996

Langue:

english

Fichier:

DJVU, 3.86 MB

0 / 0

english, 1996

Requirements Targeting Software and Systems Engineering: International Workshop RTSE ’97, Bernried, Germany, October 12-14, 1997

Dines Bjørner (auth.), Manfred Broy, Bernhard Rumpe (eds.)

Année:

1998

Langue:

english

Fichier:

PDF, 3.20 MB

0 / 0

english, 1998

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Tony Hoare (auth.), Manfred Broy, Alexandre V. Zamulin (eds.)

Année:

2003

Langue:

english

Fichier:

PDF, 7.03 MB

0 / 0

english, 2003

Model-Based Testing of Reactive Systems

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

Année:

2005

Langue:

english

Fichier:

PDF, 5.87 MB

0 / 0

english, 2005

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Tony Hoare (auth.), Manfred Broy, Alexandre V. Zamulin (eds.)

Année:

2003

Langue:

english

Fichier:

PDF, 5.85 MB

0 / 0

english, 2003

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Manfred Broy (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Année:

2009

Langue:

english

Fichier:

PDF, 35.10 MB

0 / 0

english, 2009

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Prof. Dr. Dr. h.c. Manfred Broy (auth.), Prof. Dr. Dr. h. c. Manfred Broy (eds.)

Année:

2010

Langue:

german

Fichier:

PDF, 1.26 MB

0 / 5.0

german, 2010

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Broy, Manfred (ed.)

Année:

1986

Langue:

english

Fichier:

DJVU, 5.62 MB

0 / 0

english, 1986

Model-Based Testing of Reactive Systems

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

Année:

2005

Langue:

english

Fichier:

FB2 , 3.18 MB

0 / 0

english, 2005

Model-Based Testing of Reactive Systems

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

Année:

2005

Langue:

english

Fichier:

TXT, 1.63 MB

0 / 0

english, 2005

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

Année:

1996

Langue:

english

Fichier:

PDF, 6.23 MB

0 / 5.0

english, 1996

Model-Based Testing of Reactive Systems

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

Année:

2005

Langue:

english

Fichier:

MOBI , 1.81 MB

0 / 0

english, 2005

Program design calculi

Manfred Broy

Année:

1993

Langue:

english

Fichier:

DJVU, 3.62 MB

0 / 3.5

english, 1993

Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology

Springer International Publishing

Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck

Année:

2021

Langue:

english

Fichier:

PDF, 16.86 MB

0 / 4.0

english, 2021

Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology

Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger (eds.)

Année:

2016

Langue:

english

Fichier:

PDF, 42.87 MB

0 / 0

english, 2016

Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology

Klaus Beetz, Dr. Wolfgang Böhm (auth.), Klaus Pohl, Harald Hönninger, Reinhold Achatz, Manfred Broy (eds.)

Année:

2012

Langue:

english

Fichier:

PDF, 10.50 MB

0 / 0

english, 2012

Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis

Springer Fachmedien Wiesbaden; Springer Vieweg

Manfred Broy

Année:

2019

Langue:

german

Fichier:

PDF, 4.91 MB

0 / 5.0

german, 2019

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Edsger W. Dijkstra (auth.), Manfred Broy (eds.)

Année:

1985

Langue:

english

Fichier:

PDF, 26.53 MB

0 / 0

english, 1985

Programming and Mathematical Method: International Summer School

Prof. Dr. Edsger W. Dijkstra (auth.), Manfred Broy (eds.)

Année:

1992

Langue:

english

Fichier:

PDF, 31.22 MB

0 / 0

english, 1992

Software Pioneers: Contributions to Software Engineering

Manfred Broy (auth.), Prof. Dr. Manfred Broy, Prof. Dr. Ernst Denert (eds.)

Année:

2002

Langue:

english

Fichier:

PDF, 305.89 MB

0 / 0

english, 2002

Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

Springer Netherlands

Edsger W. Dijkstra (auth.), Manfred Broy, Gunther Schmidt (eds.)

Année:

1982

Langue:

english

Fichier:

PDF, 43.75 MB

0 / 0

english, 1982

Einführung in die Softwaretechnik

Manfred Broy & Marco Kuhrmann

Année:

2021

Langue:

german

Fichier:

PDF, 21.92 MB

0 / 0

german, 2021

Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit Musterlösungen

Prof. Dr. Manfred Broy, Dr. Bernhard Rumpe (auth.)

Année:

2002

Langue:

german

Fichier:

PDF, 10.18 MB

0 / 0

german, 2002

Projektorganisation und Management im Software Engineering

Springer Vieweg

Manfred Broy, Marco Kuhrmann (auth.)

Année:

2013

Langue:

german

Fichier:

PDF, 5.66 MB

0 / 0

german, 2013

VDI-Lexikon Informatik und Kommunikationstechnik

Prof. Dr. rer. nat. Manfred Broy (auth.), Prof. Dr. rer. nat. Manfred Broy, Prof. Dr. rer. nat. Otto Spaniol (eds.)

Année:

1999

Langue:

german

Fichier:

PDF, 34.77 MB

0 / 0

german, 1999

Mathematical Methods in Program Development

David Gries (auth.), Manfred Broy, Birgit Schieder (eds.)

Année:

1997

Langue:

english

Fichier:

PDF, 21.26 MB

0 / 0

english, 1997

Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

K. Venkatesh Prasad, Thomas J. Giuli, David Watson (auth.), Manfred Broy, Ingolf H. Krüger, Michael Meisinger (eds.)

Année:

2008

Langue:

english

Fichier:

PDF, 4.08 MB

0 / 0

english, 2008

Advances in real-time systems

Manfred Broy (auth.), Samarjit Chakraborty, Jörg Eberspächer (eds.)

Année:

2012

Langue:

english

Fichier:

PDF, 8.31 MB

0 / 0

english, 2012

Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology

Wolfgang Böhm (editor), Manfred Broy (editor), Cornel Klein (editor), Klaus Pohl (editor), Bernhard Rumpe (editor), Sebastian Schröck (editor)

Année:

2020

Langue:

english

Fichier:

PDF, 16.86 MB

0 / 5.0

english, 2020

Informatik: Eine grundlegende Einführung, Teil IV. Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung

Professor Dr. Manfred Broy (auth.)

Année:

1995

Langue:

german

Fichier:

PDF, 9.57 MB

0 / 0

german, 1995

Model-Based Testing of Reactive Systems: Advanced Lectures

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)

Année:

2005

Langue:

english

Fichier:

PDF, 5.92 MB

0 / 0

english, 2005

Program Construction: International Summer School

Edsger W. Dijkstra (auth.), Prof. Dr. Dr. h. c. Friedrich L. Bauer, Dipl.-Math. Manfred Broy, E. W. Dijkstra, S. L. Gerhart, D. Gries, M. Griffiths, J. V. Guttag, J. J. Horning, S. S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner (eds.)

Année:

1979

Langue:

english

Fichier:

DJVU, 4.87 MB

0 / 0

english, 1979

Complex Systems Design & Management: Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012